81. Formal methods for industrial critical systems :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses. ;
82. Formal methods for industrial critical systems
پدیدآورنده : Mariëlle Stoelinga, Ralf Pinger (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
I594
2012eb
83. Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures
پدیدآورنده : Marco Bernardo, Alessandro Bogliolo )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Mobile computing,Congresses ، Formal methods )Computer science(,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3465
84. Formal methods for multicore programming
پدیدآورنده : \ Marco Bernardo , Einar Broch Johnsen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Development -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering.,نرم‌افزار -- تولید -- کنگره ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
76
.
F6
2015
E-Book
,
85. Formal methods for real-time and probabilistic systems
پدیدآورنده : / edited by Joost-Pieter Katoen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Formal methods (Computer science)- Congresses,Real time data processing- Congresses
رده :
QA76
.
9
.
F67I577
1999
86. Formal methods for real-time and probabilistic systems
پدیدآورنده : Joost-Pieter Katoen (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Real-time data processing, Congresses.
87. Formal methods for real-time and probabilistic systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Real-time data processing
رده :
QA
76
.
9
.
F67
.
I577
1999
88. Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
پدیدآورنده : Joost-Pieter Katoen )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Real-time data processing
رده :
QA
76
.
L28
Vol
.
1601
89. Formal methods for software architectures
پدیدآورنده : / Marco Bernardo, Paola Inverardi (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Real-time data processing--Congresses,Formal methods (Computer science)--Congresses,Computer systems--Congresses,Computer software--Congresses
رده :
QA
,
76
.
754
,.
F67
,
2003
90. Formal methods for software architectures :Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures
پدیدآورنده : Marco Bernardo, Paola Inverardi )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Congresses ، Real-time data processing,Congresses ، Formal methods )Computer science(,Congresses ، Computer systems,Congresses ، Computer software
رده :
QA
76
.
754
.
F67
2003
91. Formal methods for the design of real-time systems
پدیدآورنده : / Marco Bernardo, Flavio Corradini (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Real-time data processing--Congresses,Formal methods (Computer science)--Congresses,Computer systems--Congresses,Computer software--Congresses
رده :
QA
,
76
.
54
,.
I575
,
2004
92. Formal methods, foundations and applications :
پدیدآورنده : Adenilso Simao, Carroll Morgan (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
B73
2011
93. Formal methods: foundations and applications :
پدیدآورنده : Juliano Iyoda, Leonardo de Moura (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
B73
2013
94. Formal methods: foundations and applications
پدیدآورنده : Jim Davies, Leila Silva, Adenilso Simao (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
B73
2011
95. Formal methods in databases and software engineering :
پدیدآورنده : V.S. Alagar ... (ed.) Publ. in collab. with the British Computer Society
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Database management -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.
رده :
QA76
.
9
.
D3
V735
1993
96. Formal methods in outer space :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses. ;
97. Formal methods teaching :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses. ;
98. Formal modeling and analysis of timed system
پدیدآورنده : / Franck Cassez, Claude Jard (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer simulation--Congresses,Temporal automata--Congresses,Formal methods (Computer science)--Congresses
99. Formal modeling and analysis of timed systems :
پدیدآورنده : Joël Ouaknine, Frits W. Vaandrager (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2009eb
